Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Automated Technology for Verification and Analysis, 5 conf., ATVA 2007

 Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 6.10 Mb